Llistar TÃtols per Matèria "Restricciones pseudo-booleanas"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |

51 - Matemà tiques Programació de tasques Programación de tareas Pseudo-Boolean constraints Restriccions pseudo-Booleanes Satisfacibilidad módulo teorias Satisfiability modulo theories

Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Suy Franch, Josep Coll Caballero, Jordi Villaret i Ausellé, Mateu